Technical Communications of the International Conference on Logic Programming, 2010 (Edinburgh), pp. 134–143 http://www.floc-conference.org/ICLP-home.html TIGHT SEMANTICS FOR LOGIC PROGRAMS LUÍS MONIZ PEREIRA 1 AND AL

Source URL: drops.dagstuhl.de

• Theoretical computer science
• Stable model semantics
• Modal logic
• Answer set programming
• Semantics
• Well-founded semantics
• Logic programming
• Logic
• Science

LIPIcs-Flyer-FLoC2010-v20100708.indd

Source URL: www.dagstuhl.de

• Dagstuhl
• Knowledge
• Reinhard Wilhelm
• International Conference on Logic Programming
• Open access
• Digital Bibliography & Library Project
• Computer science
• Symposium on Theoretical Aspects of Computer Science
• Academia

Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio

Source URL: clip.dia.fi.upm.es

• Programming paradigms
• Formal sciences
• Association for Computing Machinery
• Principles of Programming Languages
• Formal methods
• International Conference on Logic Programming
• Logic programming
• International Symposium on Logic-based Program Synthesis and Transformation
• Lecture Notes in Computer Science
• Computer science
• Computing
• Software engineering

To appear: Proceedings of the IJCAI-01 Workshop on E-business and the Intelligent Web, edited by Alun Preece. To be held August 5, 2001, in Seattle, Washington, USA, in conjunction with the International Joint Conference

Source URL: ebusiness.mit.edu

• Artificial intelligence
• Markup languages
• Rule engines
• Knowledge representation
• Programming paradigms
• RuleML
• Knowledge representation and reasoning
• Resource Description Framework
• Logic programming
• Computing
• Semantic Web
• Information

From Prolog and Zelda to ToonTalk Ken Kahn Animated Programs 49 Fay Avenue, San Carlos, CA 94070, USA [removed] This paper will appear in the Proceedings of the International Conference on Logic

Source URL: www.toontalk.com

• Programming paradigms
• ToonTalk
• Constraint programming
• Janus
• Prolog
• Logic programming
• Append
• Robot
• Programming language
• Software engineering
• Computing
• Computer programming

Technical Communications of the International Conference on Logic Programming, 2010 (Edinburgh), pp. 34–43 http://www.floc-conference.org/ICLP-home.html COMMUNICATING ANSWER SET PROGRAMS KIM BAUTERS 1 AND JEROEN JANSSE

Source URL: www.cwi.ugent.be

• Mathematical logic
• Boolean algebra
• Stable model semantics
• Answer set programming
• Rules of inference
• Literal
• Negation
• Modal logic
• Logic programming
• Logic
• Propositional calculus

ILP 06 ’ 16 International Conference on Inductive Logic

Source URL: ilp06.doc.ic.ac.uk

Curriculum vitæ Miki (Nicolas) HERMANN LIX (CNRS, UMR 7161) ´ Ecole Polytechnique

Source URL: www.lix.polytechnique.fr

• Computer science
• Logic in computer science
• Reasoning
• Artificial intelligence
• Automated reasoning
• Max Planck Institute for Computer Science
• Logic programming
• International Joint Conference on Automated Reasoning
• Federated Logic Conference
• Theoretical computer science
• Applied mathematics
• Automated theorem proving

Proceedings of the Eleventh International Joint Conference on Articial Intelligence, 1993, pp. 24{29 Focusing Construction and Selection of Abductive Hypotheses David B. Leake

Source URL: www.cs.indiana.edu

• Knowledge
• Abductive reasoning
• Explanation
• Logic programming
• Reason
• Case-based reasoning
• Inference
• Hypothesis
• Scientific theory
• Science
• Reasoning
• Cognition

P e t e r F l a c h

Source URL: www.cs.bris.ac.uk

• Peter Flach
• Data collection
• Data mining
• Logic programming
• Computational learning theory
• Inductive logic programming
• International Conference on Machine Learning
• Relational data mining
• Artificial intelligence
• Machine learning
• Statistics